solving a proportion